Journal of Southeast University (English Edition)
过刊查询页面
关键词中包括
bounded+model+checking
的文章